<html><body>
<p>
This package contains an interface for deciding about interval modifications.
</p>
</body></html>